#ifndef PORT_H
#define PORT_H

/*
 * Setup the timer to generate the tick interrupts.  The implementation in this
 * file is weak to allow application writers to change the timer used to
 * generate the tick interrupt.
 */
void vPortSetupTimerInterrupt( void );

/*
 * Exception handlers.
 */
extern void xPortPendSVHandler( void ) __attribute__( ( naked ) );
extern void xPortSysTickHandler( void );
extern void vPortSVCHandler( void ) __attribute__( ( naked ) );
extern void xPortSysTickHandler(void);

#endif